CRI:IAD Infrastructure for Research in High-Assurance Real-time Net-centric Embedded Software Systems (HARNESS)
ثبت نشده
چکیده
In a recent article Broy [Bro06] describes grand challenges facing software engineers. Implied in the grand challenges is the need for test-beds and benchmark applications that facilitate rigorous experimental validations. Our goal is to address this need in real-time and embedded software systems. In this research, we request funding to develop such infrastructure that will enable researchers in this domain to rapidly perform scientifically rigorous experimental assessment of various tools and techniques aimed at helping achieve high-assurance real-time net-centric embedded systems. The High-Assurance Real-time Netcentric Embedded Software Systems (HARNESS) infrastructure will be developed by researchers at the participating institutions: Arizona State University (ASU), Southern Methodist University (SMU), the University of North Texas (UNT), the University of Texas at Arlington (UTA), and the University of Texas at Dallas (UTD).
منابع مشابه
Smarter After-Sales Service and Support driven by the Internet-of-Things White Paper HiTech
Sukriti is part of the Tata Consultancy Services (TCS) HiTech Center of Excellence, leading the IoT and Machine-to-Machine (M2M) initiatives and solutions for the high tech industry. She has over 20 years of industry experience in the design, development and validation of embedded systems, applied to a variety of domains including industrial automation, consumer electronics, automotive electron...
متن کاملArchitecting high - performance data - centric systems using data distribution service and switched fabrics
www.rfdesign.com April 2006 applications will span multiple, networked computers. Disaggregated or distributed systems are much easier to scale, make fault-tolerant, and upgrade. This distribution calls for new application infrastructures. Publish-subscribe communications is a key enabler of the new distributed architecture. Data sources publish their data to the network; data users subscribe t...
متن کاملINCENSE: Information-Centric Development of Component-Based Embedded Real-Time Systems
This paper summarize the basics concerning my research topic, methodology and a brief description of some related work within the areas of Component Based Software Engineering (CBSE) and Real-Time Database Management Systems (RTDBMS). RTDBMS and CBSE are highly interesting upcoming techniques which both have great benefits. What we will do in our research is to integrate RTDBMS as a part of the...
متن کاملTen practical techniques for high assurance systems engineering
This paper presents ten practical techniques that help engineer complex systems that have stringent dependability and real-time requirements. The techniques described are software centric but in most cases they apply to systems as a whole.
متن کاملA data-centric approach to composing embedded, real-time software components
Software for embedded systems must cope with a variety of stringent constraints, such as real-time requirements, small memory footprints, and low power consumption. It is usually implemented using low-level programming languages, and as a result has not benefitted from component-based software development techniques. This paper describes a data-centric component model for embedded devices that ...
متن کامل